On completeness of narrowing strategies
نویسندگان
چکیده
منابع مشابه
the effect of explicit teaching of metacognitive vocabulary learning strategies on recall and retention of idioms
چکیده ندارد.
15 صفحه اولthe effect of explicit instruction of metacognitive strategies on reading comprehension among iranian high school students
the present study seeks to determine the effect of explicit instruction of metacognitive strategies on iranian high school students’ reading comprehension ability. it also attempts to investigate the relationship between the learners reading comprehension and metacognitive strategies. furthermore, the study investigates whether iranian efl female high school students are high, medium, or low me...
effect of listening strategy training on iranian efl learners listening comprehension and use of strategies
this study aimed to investigate the effects of listening strategy training on iranian efl learners listening comprehension and use of such strategies. this work, employing an experimental methodology, was conducted among 60 adult efl learners from a language institute in isfahan, iran, as participants. the participants, who were selected based on the results of a placement test, were assigned t...
15 صفحه اولStrong Completeness of a Lazy Conditional Narrowing Calculus
In this paper we extend the lazy narrowing calculus of Middeldorp, Okui, and Ida 13] to conditional rewrite systems. We show that our calculus is strongly complete whenever basic conditional narrowing is complete. This generalizes one of the three main results of 13] to the conditional case. As a corollary we obtain the strong completeness for three classes of conditional rewrite systems, one o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1990
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90032-d